Integrating Runtime Verification into a Sounding Rocket Control System
نویسندگان
چکیده
An actuation fault in the aerobraking control system (ACS) took down Iowa State’s Nova Somnium rocket during 2019 Spaceport America Cup competition, prematurely ending team’s participation. The ACS engaged incorrectly before motor burnout, altering rocket’s trajectory and leading to a dangerous crash. ability detect this real time on-board ACS’s Arduino microcontroller would have prevented an uncontrolled landing rapid unscheduled disassembly, which posed major safety threat ended year’s worth of effort by 50-student team. Runtime verification (RV) specializes efficiently catching type scenario; R2U2 RV engine uniquely fits project’s resource constraints. We design specifications faults trigger appropriate mitigations. discuss specification development, validation, coverage, robustness against false positives. Experimental evaluation on real, recorded flight data demonstrates that running accident from occurring. generalize our results outline plans for integrating runtime into future sounding rockets.
منابع مشابه
Reliability Determination of a Sounding Rocket Separation System Using its Reliability Block Diagram and FMEA
Separation system is one of the most important systems in rockets. The influence of this system on mission success cannot be ignored. In this paper, reliability of a sounding rocket separation system is determined using block diagram and FMEA . This system is based on the flexible linear shape charge cross-section and a spring mechanism to accelerate separation. In this investigation, the relia...
متن کاملIntegrating Data Caching into the SUDS Runtime System
In this thesis, I describe the design and implementation of a software data cache for speculative loads in the SUDS (Software Undo System) runtime system. The basic functionality of this cache exploits short-term temporal locality and some spatial locality in the memory accesses of speculative processing elements. The cache implementation is also extended to exploit temporal locality of accesse...
متن کاملHybrid Rocket Propulsion Technology for Sounding Rocket Development
Hybrid combustion technology has recently been employed in the sounding rocket developments to support the science experiments of academic applications and the establishment of a viable flight test platform for space components development. Due to its safety nature in material handling and combustion processes, hybrid rockets are suitable for university and research institute environments for a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-76384-8_10